Exploring a type-theoretic approach to accessibility constraint modelling

The type-theoretic modelling of DRT that [degroote06] proposed features continuations for the management of the context in which a clause has to be interpreted. This approach, while keeping the standard definitions of quantifier scope, translates the rules of the accessibility constraints of discourse referents inside the semantic recipes. In this paper, we deal with additional rules for these accessibility constraints. In particular in the case of discourse referents introduced by proper nouns, that negation does not block, and in the case of rhetorical relations that structure discourses. We show how this continuation-based approach applies to those accessibility constraints and how we can consider the parallel management of various principles

SDRT and Continuation Semantics

International audienceSegmented Discourse Representation Theory (SDRT) provides a dynamic semantics for discourse that exploits a rich notion of discourse structure. According to SDRT, a text is segmented into constituents related to each other by means of rhetorical relations; the resulting structure, known as a segmented discourse representation structure or SDRS has various semantic effects. This theory has shown how discourse structure makes contributions to the interpretation of a variety of linguistic phenomena, including tense, modality, presupposition, the interpretation of anaphoric pronouns and ellipsis. SDRT exploits dynamic semantics to interpret SDRSs. We investigate here the advantages of integrating SDRT within continuation style semantics

Generation with Semantic Proof Nets

Categorial grammars and Lambek calculus found a nice embedding in Linear Logic, and a lot of work have presented proof nets uses for linguistic purposes, with a special look at proof nets for Lambek calculus. But they have mainly explored the syntactic capabilities of proof nets, describing parsing processes. We present here our vision of the generation process based on semantic proof nets. The main features of this proposal consist in the use of proof nets for lambek calculus but also for semantic recipes of lexical entries, so that no lambda-term unification occur with their limitations (undecidability from second order). Based on a graph calculus, the solutions of this process can be expressed as a matrix computation

A Montagovian Treatment of Modal Subordination

International audienceEpistemic modality involves complex contextual dependencies that linguists have studied (Roberts 1989; Veltman 1996). We show that they have a natural treatment within a continuation style semantics.Les modalités épistémiques mettent en œuvre des dépendances contextuelles complexes que les linguistes ont déjà étudiées (Roberts 1989, Veltman 1996). Nous montrons qu'elles ont un traitement naturel avec une sémantique utilisant les continuations

Lexicalized Proof-Nets in Pomset Logic & TAG

Colloque avec actes et comité de lecture./http://www.springerlink.com/content/fwnnfkg1te8q/This result gives a simple representation (the cut rule represents both substitution and adjunction rules) of TAGs in pomset logic. It consists in the maping of pieces of proofs to every elementary tree. A first consequence is to characterize the expressive power of the grammars defined by Lecomte and Retoré ("Pomset Logic as an Alternative Categorial Grammar",1995) in showing that a very restricted fragment allows the representation of TAGs. A second consequence is to bind more easily TAGs and Montague's semantics thanks to the logical type of these pomset grammars

ACGTK: un outil de développement et de test pour les grammaires catégorielles abstraites

Démonstration.International audienceNous présentons un outil, ACGTK, offrant un environnement de développement et d'utilisation des grammaires catégorielles abstraites pour l'analyse et la génération

Polymnie — Analyse et synthèse avec les Grammaires Catégorielles Abstraites : du lexique au discours

National audienceOur project aimed at developing grammars for text parsing and generation, with a lexical description of the syntactic, semantic, and discourse properties of words. To this end, we have used the grammatical framework of Abstract Categorial Grammars (ACG). This framework allows us to describe reversible grammars, i.e., that are suitable both for parsing and for generation.Notre projet vise à développer des grammaires pour l'analyse et la génération de textes, avec une description des propriétés lexicales, syntactiques, sémantiques et discursives des mots. À cette fin nous avons utilisé le cadre grammatical des Grammaires Catégorielles Abstraites (ACG). Ce cadre nous a permis de décrire des grammaires réversibles, c'est-à-dire permettant à la fois l'analyse et la génération

Génération à l'aide de réseaux de preuve sémantiques

National audienceLa relation naturelle entre le calcul de Lambek et la sémantique de Montague a déjà été beaucoup étudiée pour l'analyse syntaxique. Paradoxalement, peu de choses ont été proposées pour la génération. En la comparant à une autre approche avec laquelle elle partage un certain nombre de traits formels (Merenciano & Morrill 1997), nous proposons une méthode préliminaire de génération basée sur les réseaux de preuve de la logique linéaire (Girard 1987). En effet, il est connu que cette dernière, dans sa variante non commutative, contient le calcul de Lambek (Roorda 1991). D'autre part, ses preuves peuvent être exprimées au moyen d'une syntaxe particulière, les réseaux de preuve, qui quotiente les preuves inessentiellement différentes du calcul des séquents. La syntaxe des entrées lexicales peut alors s'exprimer dans ces réseaux. Mais, tout comme la déduction naturelle pour la logique classique, ces réseaux de preuve permettent de coder des lambda-termes. Aussi est-il possible, en s'inspirant de la sémantique de Montague, d'avoir à la fois des réseaux syntaxiques et des réseaux sémantiques attachés aux entrées lexicales. Cet aspect, déjà développé pour l'analyse (de Groote & Retoré 1996), nous en proposons ici une utilisation pour la génération. Nous nous intéressons au problème de vérifier qu'avec des items lexicaux donnés, il est possible de générer une phrase syntaxiquement correcte ayant la forme sémantique donnée. Les propriétés calculatoires qui en découlent étant améliorées par rapport à l'approche de Merenciano & Morrill (1997)

Using and Extending the ACG technology: Endowing Categorial Grammars with an Underspecified Semantic Representation

International audienceUnderlining the computational properties of Abstract Categorial Grammars, we show how to extend them while keeping some of their properties. In particular, we show how to enable the modeling of non-linear languages. We give as an example the encoding of an underspecified semantic representation language, and apply it to categorial grammars. So that we can model ambiguities of quantifier scopes only at the semantic level, and not at the syntactic level anymore

Vers un statut de l'arbre de dérivation : exemples de construction de représentations sémantiques pour les Grammaires d'Arbres Adjoints

International audienceCet article propose une définition des arbres de dérivation pour les Grammaires d'Arbres Adjoints, étendant la notion habituelle. Elle est construite sur l'utilisation des Grammaires Catégorielles Abstraites et permet de manière symétrique le calcul de la représentation syntaxique (arbre dérivé) et le calcul de la représentation sémantique